<html>
<head><meta charset="utf-8"><title>weeky meeting 2019-03-11 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html">weeky meeting 2019-03-11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160502065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502065">(Mar 11 2019 at 17:57)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> =) Sync meeting in a few minutes</p>



<a name="160502392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502392">(Mar 11 2019 at 18:00)</a>:</h4>
<p>Was there an hour shift somewhere in the world?</p>



<a name="160502406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502406">(Mar 11 2019 at 18:00)</a>:</h4>
<p>Usually it’s 8pm my time I think</p>



<a name="160502462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502462">(Mar 11 2019 at 18:01)</a>:</h4>
<p>Yes</p>



<a name="160502483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502483">(Mar 11 2019 at 18:01)</a>:</h4>
<p>DST began yesterday</p>



<a name="160502526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502526">(Mar 11 2019 at 18:02)</a>:</h4>
<p>So we lost an hour</p>



<a name="160502633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502633">(Mar 11 2019 at 18:03)</a>:</h4>
<p>This will last for a few weeks</p>



<a name="160502670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502670">(Mar 11 2019 at 18:03)</a>:</h4>
<p>I'm trying to remember</p>



<a name="160502677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502677">(Mar 11 2019 at 18:04)</a>:</h4>
<p>Did we have a paper or anything like that where we are kind of tracking things?</p>



<a name="160502740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502740">(Mar 11 2019 at 18:04)</a>:</h4>
<p>at one time we did</p>



<a name="160502766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502766">(Mar 11 2019 at 18:04)</a>:</h4>
<p>seems like we don't have the condensed version I am thinking of</p>



<a name="160502768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502768">(Mar 11 2019 at 18:04)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting-oDfr6ct8xx63HSAOOmIZX">this doc</a></p>



<a name="160502773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502773">(Mar 11 2019 at 18:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/compiler-team/blob/master/working-groups/traits/minutes/triage-2019-03-04.md" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/working-groups/traits/minutes/triage-2019-03-04.md">here are the minutes from our previous meeting though</a></p>



<a name="160502792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502792">(Mar 11 2019 at 18:05)</a>:</h4>
<p>yeah, maybe we can adapt that paper doc</p>



<a name="160502814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502814">(Mar 11 2019 at 18:05)</a>:</h4>
<p>I'd basically like to be evolving so that we track our 'active projects' and current goals within that context</p>



<a name="160502912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502912">(Mar 11 2019 at 18:06)</a>:</h4>
<p>well anyway, plans for the coming week were:</p>



<a name="160502937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502937">(Mar 11 2019 at 18:06)</a>:</h4>
<ul>
<li>Describe how normalization works today and hold a (recorded) call to<br>
  try and explain it to others. Trace through some of the examples<br>
  where lazy norm would be helpful. (nikomatsakis)</li>
<li>Explore the use cases for GATs (aturon, centril)</li>
<li>Discuss RLS 2.0 type checker and contemplate how to integrate chalk<br>
  into it (nikomatsakis, scalexm)</li>
<li>Maybe discuss other chalk improvements? (e.g., benchmarking harness) (nikomatsakis) </li>
<li>Maybe discuss the "lifetime capture" problem in impl Trait? (nikomatsakis, alexreg)</li>
</ul>



<a name="160502973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502973">(Mar 11 2019 at 18:07)</a>:</h4>
<p>In terms of the first point: I did yet more investigation. I feel like I could walk through the current state of normalization but haven't had time to schedule an actual call.</p>



<a name="160502995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160502995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160502995">(Mar 11 2019 at 18:07)</a>:</h4>
<p>I am however feeling kind of curious by now if lazy norm is <strong>truly</strong> a blocker for const generics as has been claimed</p>



<a name="160503055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503055">(Mar 11 2019 at 18:08)</a>:</h4>
<p>One thing that is a problem is that, the way the code presently works, there are some steps we are not taking precisely to <em>avoid</em> cycles</p>



<a name="160503058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503058">(Mar 11 2019 at 18:08)</a>:</h4>
<p>so it makes hard to observe the cycle</p>



<a name="160503062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503062">(Mar 11 2019 at 18:08)</a>:</h4>
<p>since it does't occur :)</p>



<a name="160503077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503077">(Mar 11 2019 at 18:08)</a>:</h4>
<p>so I was thinking about trying to port back some commits from a PR by <span class="user-mention" data-user-id="119009">@eddyb</span> so I could observe the problem first hand</p>



<a name="160503088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503088">(Mar 11 2019 at 18:08)</a>:</h4>
<p>I am interested in potentially collaborating with someone on this instead</p>



<a name="160503130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503130">(Mar 11 2019 at 18:09)</a>:</h4>
<p>Maybe that would be someone here at this meeting, or maybe worth putting out a bit of a call -- basically looking for someone to work with me on this investiation, doing some coding, syncing up semi-regularly</p>



<a name="160503224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503224">(Mar 11 2019 at 18:10)</a>:</h4>
<p>(Specifically what would be involved at this point is modifying the <code>generics_of</code> and <code>predicates_of</code> implementations for anonymous constants; it will require a bit of experimentation)</p>



<a name="160503291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503291">(Mar 11 2019 at 18:10)</a>:</h4>
<p>Don't everybody volunteer at once <span aria-label="stuck out tongue wink" class="emoji emoji-1f61c" role="img" title="stuck out tongue wink">:stuck_out_tongue_wink:</span></p>



<a name="160503314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503314">(Mar 11 2019 at 18:11)</a>:</h4>
<p>Anyway it might just be you + me <span class="user-mention" data-user-id="116883">@tmandry</span> :)</p>



<a name="160503319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503319">(Mar 11 2019 at 18:11)</a>:</h4>
<p>OK, well, let's move on. I'll come back to that point.</p>



<a name="160503327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503327">(Mar 11 2019 at 18:11)</a>:</h4>
<blockquote>
<p>Explore the use cases for GATs (aturon, centril)</p>
</blockquote>



<a name="160503332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503332">(Mar 11 2019 at 18:11)</a>:</h4>
<p>lol, I was thinking I <em>might</em> have bandwidth for it but not sure when yet</p>



<a name="160503344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503344">(Mar 11 2019 at 18:11)</a>:</h4>
<p>I believe this happened, right <span class="user-mention" data-user-id="126931">@centril</span> / <span class="user-mention" data-user-id="116010">@Aaron Turon</span>? Over in <a href="#narrow/stream/144729-t-compiler.2Fwg-traits/topic/GAT.20use-case.20analysis" title="#narrow/stream/144729-t-compiler.2Fwg-traits/topic/GAT.20use-case.20analysis">this topic</a>, and I think there is some form of document that I've failed to read</p>



<a name="160503616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503616">(Mar 11 2019 at 18:14)</a>:</h4>
<p>Here is a <a href="https://paper.dropbox.com/doc/GAT-use-case-analysis--AY1Ck74Fgk1Ztq1kHrethI8BAg-xFJQMxHXTOUekCyweukU1" target="_blank" title="https://paper.dropbox.com/doc/GAT-use-case-analysis--AY1Ck74Fgk1Ztq1kHrethI8BAg-xFJQMxHXTOUekCyweukU1">link to the document</a>, which is a dropbox paper</p>



<a name="160503631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503631">(Mar 11 2019 at 18:14)</a>:</h4>
<p>I'm not sure the next steps here</p>



<a name="160503658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503658">(Mar 11 2019 at 18:15)</a>:</h4>
<p>I think it's probably to do some kind of review of these use cases, I thikn <span class="user-mention" data-user-id="131694">@scalexm</span> did a bit of that already which is great</p>



<a name="160503677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503677">(Mar 11 2019 at 18:15)</a>:</h4>
<p>I guess I'll make a "work item" for myself at least on that, to do the review</p>



<a name="160503711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503711">(Mar 11 2019 at 18:15)</a>:</h4>
<blockquote>
<p>Discuss RLS 2.0 type checker and contemplate how to integrate chalk<br>
into it (nikomatsakis, scalexm)</p>
</blockquote>



<a name="160503765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503765">(Mar 11 2019 at 18:16)</a>:</h4>
<p>So we had this meeting, and there was a plan to do another talk this week to cover some of how the Lark type checker worked</p>



<a name="160503773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503773">(Mar 11 2019 at 18:16)</a>:</h4>
<p>it occurs to me that I never scheduled this call :)</p>



<a name="160503832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503832">(Mar 11 2019 at 18:17)</a>:</h4>
<p>There is <a href="https://www.youtube.com/watch?v=Lmp3P9WNL8o" target="_blank" title="https://www.youtube.com/watch?v=Lmp3P9WNL8o">video available</a> of the previous one</p>
<div class="youtube-video message_inline_image"><a data-id="Lmp3P9WNL8o" href="https://www.youtube.com/watch?v=Lmp3P9WNL8o" target="_blank" title="https://www.youtube.com/watch?v=Lmp3P9WNL8o"><img src="https://i.ytimg.com/vi/Lmp3P9WNL8o/default.jpg"></a></div>



<a name="160503876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503876">(Mar 11 2019 at 18:17)</a>:</h4>
<p>So I guess scheduling another chat is good here, though I think that beyond Lark we should also start talking about (and probably doing some hacking!) around the chalk integration question.</p>



<a name="160503962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503962">(Mar 11 2019 at 18:18)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> how much time / interest do you have in hacking here</p>



<a name="160503973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503973">(Mar 11 2019 at 18:18)</a>:</h4>
<p>I'm trying to think what would be a good first PR</p>



<a name="160503986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503986">(Mar 11 2019 at 18:18)</a>:</h4>
<p>maybe trying to replicate something like what the rustc integration currently does?</p>



<a name="160503994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503994">(Mar 11 2019 at 18:18)</a>:</h4>
<p>i.e., to start by not sharing definition of types etc</p>



<a name="160503997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160503997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160503997">(Mar 11 2019 at 18:19)</a>:</h4>
<p>I definitely have a lot of interest in this, don’t know yet about time for hacking</p>



<a name="160504021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504021">(Mar 11 2019 at 18:19)</a>:</h4>
<p>or would it be better to start by trying to port to some common foundation</p>



<a name="160504036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504036">(Mar 11 2019 at 18:19)</a>:</h4>
<p>I'm guessing it would be better to start integrating chalk-engine</p>



<a name="160504045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504045">(Mar 11 2019 at 18:19)</a>:</h4>
<p>but with liberal use of <code>panic!</code> where needed</p>



<a name="160504051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504051">(Mar 11 2019 at 18:19)</a>:</h4>
<p>I’m not sure about trying to replicate the what rustc does</p>



<a name="160504060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504060">(Mar 11 2019 at 18:19)</a>:</h4>
<p>It seems like a lot of complex code duplicated</p>



<a name="160504071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504071">(Mar 11 2019 at 18:20)</a>:</h4>
<p>yeah</p>



<a name="160504073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504073">(Mar 11 2019 at 18:20)</a>:</h4>
<p>hmm</p>



<a name="160504131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504131">(Mar 11 2019 at 18:20)</a>:</h4>
<p>well we know we want to share the lowering code right</p>



<a name="160504136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504136">(Mar 11 2019 at 18:20)</a>:</h4>
<p>Yes</p>



<a name="160504138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504138">(Mar 11 2019 at 18:20)</a>:</h4>
<p>maybe the thing to do is to schedule some time to try and sketch out what that means</p>



<a name="160504154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504154">(Mar 11 2019 at 18:20)</a>:</h4>
<p>i.e., I would be game to try and put one or two hours into reviewing what it might look like</p>



<a name="160504162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504162">(Mar 11 2019 at 18:20)</a>:</h4>
<p>and formulate a kind of roadmap / plan</p>



<a name="160504230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504230">(Mar 11 2019 at 18:21)</a>:</h4>
<p>any better ideas? :)</p>



<a name="160504245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504245">(Mar 11 2019 at 18:21)</a>:</h4>
<p>why don't we do this -- I will do an open call and spend some time on it. Anyone who wants can join, if just to "chat along"</p>



<a name="160504246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504246">(Mar 11 2019 at 18:22)</a>:</h4>
<p>That sounds good</p>



<a name="160504302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504302">(Mar 11 2019 at 18:22)</a>:</h4>
<p>/me wants to do some coding dang it</p>



<a name="160504311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504311">(Mar 11 2019 at 18:22)</a>:</h4>
<p>If we settle on something regarding sharing code, I’d be game for trying to hack a bit on that part</p>



<a name="160504317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504317">(Mar 11 2019 at 18:22)</a>:</h4>
<p>ok, sounds good</p>



<a name="160504339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504339">(Mar 11 2019 at 18:22)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> may also be interested</p>



<a name="160504361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504361">(Mar 11 2019 at 18:23)</a>:</h4>
<p>maybe we'll do that in place of the Lark review, although I still want to do that. I wouldn't mind pushing that till next week since I didn't schedule anything yet and I sort of want some time to prep</p>



<a name="160504391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504391">(Mar 11 2019 at 18:23)</a>:</h4>
<p>The next two items:</p>
<blockquote>
<ul>
<li>Maybe discuss other chalk improvements? (e.g., benchmarking harness) (nikomatsakis)</li>
<li>Maybe discuss the "lifetime capture" problem in impl Trait? (nikomatsakis, alexreg)</li>
</ul>
</blockquote>
<p>Did not happen.</p>



<a name="160504407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504407">(Mar 11 2019 at 18:23)</a>:</h4>
<p>However, <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> and I <strong>have</strong> been talking about the "associated type bounds", so maybe we should add that as a work item</p>



<a name="160504410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504410">(Mar 11 2019 at 18:23)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> do you happen to be around?</p>



<a name="160504413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504413">(Mar 11 2019 at 18:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I'm going to work on <code>let_chains</code> a bit this week; If I have time over I'll work incrementally towards generic closures and <code>for&lt;T: Debug&gt;</code></p>



<a name="160504476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504476">(Mar 11 2019 at 18:24)</a>:</h4>
<p>(as RFCs, several... like 4 of them maybe)</p>



<a name="160504477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504477">(Mar 11 2019 at 18:24)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> maybe say a bit more about what you have planned when you say "work incrementally towards" -- an RFC?</p>



<a name="160504492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504492">(Mar 11 2019 at 18:24)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> I have a question. If I were to create a repository for the traits WG, which I've been meaning to do forever</p>



<a name="160504502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504502">(Mar 11 2019 at 18:24)</a>:</h4>
<p>how would you feel about posting some of those draft RFCs to the repo?</p>



<a name="160504513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504513">(Mar 11 2019 at 18:24)</a>:</h4>
<p>I'd enjoy being able to skim over them at my liesure</p>



<a name="160504545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504545">(Mar 11 2019 at 18:25)</a>:</h4>
<p>and I'd like to have a place to consolidate some of this planning etc</p>



<a name="160504569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504569">(Mar 11 2019 at 18:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  sure, why not... I elaborated in <a href="#narrow/stream/144729-t-compiler.2Fwg-traits/topic/Generic.20bounds.20.26.20closures" title="#narrow/stream/144729-t-compiler.2Fwg-traits/topic/Generic.20bounds.20.26.20closures">https://rust-lang.zulipchat.com/#narrow/stream/144729-t-compiler.2Fwg-traits/topic/Generic.20bounds.20.26.20closures</a></p>



<a name="160504586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504586">(Mar 11 2019 at 18:25)</a>:</h4>
<p>I'd like to move generally towards a model of rfcs as "collaborative docs" that a working group si working on</p>



<a name="160504599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504599">(Mar 11 2019 at 18:25)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="160504600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504600">(Mar 11 2019 at 18:25)</a>:</h4>
<p>ok, cool, i'll take a look</p>



<a name="160504659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504659">(Mar 11 2019 at 18:26)</a>:</h4>
<p>ok, so that's another work item to list</p>



<a name="160504690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504690">(Mar 11 2019 at 18:26)</a>:</h4>
<p>As far as "associated type bounds", I'll just put down "further progress" for now and mention <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> =)</p>



<a name="160504728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504728">(Mar 11 2019 at 18:27)</a>:</h4>
<p>(I think I mentioned this before, i've been using <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span> to help myself find key comments when making minutes later =)</p>



<a name="160504733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504733">(Mar 11 2019 at 18:27)</a>:</h4>
<p>I make no promises of actually having a ready RFC for <code>for&lt;'a: 'b&gt;</code> this week tho =P <code>let_chains</code> may or may not take a bunch of time</p>



<a name="160504737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504737">(Mar 11 2019 at 18:27)</a>:</h4>
<p>ok, sound good, anybody got anything else to bring up?</p>



<a name="160504755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504755">(Mar 11 2019 at 18:27)</a>:</h4>
<blockquote>
<p>I make no promises of actually having a ready RFC for <code>for&lt;'a: 'b&gt;</code> this week tho =P <code>let_chains</code> may or may not take a bunch of time</p>
</blockquote>
<p>no hurry, I think the actual work item woudl be to upload drafts to a working group repo :)</p>



<a name="160504761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504761">(Mar 11 2019 at 18:27)</a>:</h4>
<p>and for me to create said repo, perhaps</p>



<a name="160504764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504764">(Mar 11 2019 at 18:27)</a>:</h4>
<p>minor point about creating a traits repo: I can watch the repo without getting notifications for everything in t-compiler repo</p>



<a name="160504779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504779">(Mar 11 2019 at 18:27)</a>:</h4>
<p>sounds like a "point in favor"?</p>



<a name="160504786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504786">(Mar 11 2019 at 18:28)</a>:</h4>
<p>indeed</p>



<a name="160504828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504828">(Mar 11 2019 at 18:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  I meant the draft -- I make no promises wrt. that ^,-</p>



<a name="160504829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504829">(Mar 11 2019 at 18:28)</a>:</h4>
<p>ok yep</p>



<a name="160504855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504855">(Mar 11 2019 at 18:28)</a>:</h4>
<blockquote>
<p>I meant the draft -- I make no promises wrt. that ^,-</p>
</blockquote>
<p>I know, my point was, no worries :) nobody is asking for a promise :)</p>



<a name="160504859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504859">(Mar 11 2019 at 18:28)</a>:</h4>
<p>:P</p>



<a name="160504873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504873">(Mar 11 2019 at 18:28)</a>:</h4>
<p>you do a ton :)</p>



<a name="160504885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504885">(Mar 11 2019 at 18:28)</a>:</h4>
<p>OK, cool, meeting adjourned then. :)</p>



<a name="160504911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160504911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160504911">(Mar 11 2019 at 18:29)</a>:</h4>
<p>that was quick <span aria-label="rabbit" class="emoji emoji-1f407" role="img" title="rabbit">:rabbit:</span></p>



<a name="160505034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160505034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160505034">(Mar 11 2019 at 18:30)</a>:</h4>
<p>/me shoots for 30 minute meetings</p>



<a name="160511770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160511770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160511770">(Mar 11 2019 at 19:49)</a>:</h4>
<p>Just wrote up a <a href="https://github.com/rust-lang/compiler-team/blob/master/working-groups/traits/minutes/triage-2019-03-11.md" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/working-groups/traits/minutes/triage-2019-03-11.md">quick write-up from the meeting</a>. These are my collected "next steps" from our conversation:</p>
<ul>
<li>Try to correct the <code>generics_of</code> query etc for constants so we can<br>
  observe what results.<ul>
<li><strong>Help wanted!</strong> nikomatsakis is looking for somebody to work on some of this<br>
  coding.</li>
</ul>
</li>
<li>Read-over GAT use cases and try to theorize about what it would take to<br>
  support them in rustc etc (nikomatsakis)</li>
<li>Schedule a call to talk over what chalk integration into RLS 2.0 might look like (nikomatsakis)</li>
<li>Create a wg-traits repository to house draft RFCs and the like. (nikomatsakis)</li>
<li>Upload drafts of various traits-related RFCs to wg-traits (centril)</li>
<li>Continue work on associated type bounds (alexreg)</li>
</ul>



<a name="160512241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160512241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160512241">(Mar 11 2019 at 19:54)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> so does the <code>generics_of</code> thing take the place of the call you had mentioned about normalization today + lazy norm?</p>



<a name="160512263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160512263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160512263">(Mar 11 2019 at 19:54)</a>:</h4>
<p>probably, yes. I could definitely stilld o that</p>



<a name="160512281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160512281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160512281">(Mar 11 2019 at 19:54)</a>:</h4>
<p>but I still dont' quite have all the "dots together"</p>



<a name="160512302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160512302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160512302">(Mar 11 2019 at 19:55)</a>:</h4>
<p>i.e., I can talk about how system works, but I can't yet explain what the problem is that <span class="user-mention" data-user-id="119009">@eddyb</span> was encountering and if I see an easy fix</p>



<a name="160512332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160512332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160512332">(Mar 11 2019 at 19:55)</a>:</h4>
<p>maybe I can get <span class="user-mention" data-user-id="119009">@eddyb</span> to listen to the talk and they may have some insights :)</p>



<a name="160516177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160516177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160516177">(Mar 11 2019 at 20:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> sorry, bad time for me again this Monday. But yes, ATB well along the way.</p>



<a name="160516213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160516213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160516213">(Mar 11 2019 at 20:42)</a>:</h4>
<p>Have we decided yet if lazy normalisation is definitely a blocker for fixing type alias bounds btw?</p>



<a name="160516534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weeky%20meeting%202019-03-11/near/160516534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weeky.20meeting.202019-03-11.html#160516534">(Mar 11 2019 at 20:46)</a>:</h4>
<p>Also, what’s the progress on Chalk integration and lifetimes?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>